next-world-state(D;i;s;k;v)
== <shift-state(x.M(i).ef(k,x,read-state(s),v)?s(x))
== , doact(k;v)
== , filter(m.source(mlnk(m)) = i;M(i).sends(k,read-state(s),v))> 

latex

---

clarification:

next-world-state(D;i;s;k;v)
== <shift-state(x.d-m(D; i).ef(k,x,read-state(s),v)?s(x))
== , doact(k;v)
== , filter(m.source(mlnk(m)) = i;d-m(D; i).sends(k,read-state(s),v))> 

latex

Definitions	shift-state(s), M.ef(k,x,s,v)?w, f(a), <a, b>, doact(k;v), filter(P;l), x.A(x), a = b, source(l), mlnk(m), M.sends(k,s,v), M(i), read-state(s)
FDL editor aliases	next-world-state